Towards reliable software performance modelling using stochastic process algebra

نویسندگان

  • Nigel Thomas
  • Jeremy Bradley
چکیده

The aim of any modelling exercise is to develop a better understanding of the system that is being studied, however it is unfortunately not always easy to understand abstract performance models or the metrics that are derived from them. In this tutorial paper we focus on the facilitation of more reliable performance prediction through better understanding of models and solutions in the context of a stochastic process algebra. As well as being confident that the model is accurate, the designer must also have confidence in the measures derived. Partly this is a matter of ensuring that the correct measures are derived, but also that those measures are sufficiently bounded to be applicable.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Performance and reliability model checking and model construction

Over the last decade formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. The intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra, and to model checking as a technique to analyse s...

متن کامل

Construction and Verification of Performance and Reliability Models

Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical rigour, the intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra,...

متن کامل

Towards Model Checking Stochastic Process Algebra

Abstract. Stochastic process algebras have been proven useful because they allow behaviour-oriented performance and reliability modelling. As opposed to traditional performance modelling techniques, the behaviouroriented style supports composition and abstraction in a natural way. However, analysis of stochastic process algebra models is state-oriented, because standard numerical analysis is ty...

متن کامل

Functional Modelling and Performance Evaluation for Two Class Diffserv Router Using Stochastic Process Algebra

This paper describes the use of stochastic process algebra to model and to evaluate the performance of a two class DiffServ router. This specification is done by means a set of powerful operators of Extended Markovian Process Algebra (EMPA) language, and then studied from the functional and the performance point of view.

متن کامل

A Robust Reliable Forward-reverse Supply Chain Network Design Model under Parameter and Disruption Uncertainties

Social responsibility is a key factor that could result in success and achieving great benefits for supply chains. Responsiveness and reliability are important social responsibility measures for consumers and all stakeholders that strategists and company managers should be concerned about them in long-term planning horizon. Although, presence of uncertainties as an intrinsic part of supply chai...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001